$\forall$$M$:MsgA, $b$:Id. ma{-}prob($M$;$b$) $\in$ FinProbSpace